axiom of reducibility中文什么意思

可化归性公理

• axiom:    n. 1.自明之理。 2.【逻，数】 ...
• reducibility axiom:    可约性公理
• reducibility:    还原变; 还原性; 可归约性; 可约 ...

百科释义

The Axiom of Reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the Axiom in an attempt to manage the contradictions he had discovered in his analysis of set theory.